$\forall$${\it es}$:ES, $i$, $x$:Id, $T$:Type. vartype($i$;$x$) $\subseteq\rho$ $T$ $\Rightarrow$ @$i$ $x$ has type $T$